A Quasi-onedimensional Approach for Hypersonic Stagnation-point Ows Lehr-und Forschungsgebiet F Ur Mechanik

Institut F Ur Informatik Lehr-und Forschungseinheit F Ur Programmier-und Modellierungssprachen Oettingenstraae 67, D{80538 M Unchen Problem Solving with Model-generation Approaches Based on Puhr Tableaux in Proc. Problem-solving Methodologies with Automated Deduction, Workshop at Cade '98

Institut F Ur Informatik Lehr-und Forschungseinheit F Ur Programmier-und Modellierungssprachen Oettingenstraae 67, D{80538 M Unchen Model Generation in Disjunctive Normal Databases Model Generation in Disjunctive Normal Databases

Algorithms for computing several classes of models for disjunctive normal databases are presented. We show how to eeciently compute minimal, restricted minimal, perfect, and stable models. The common feature of the advanced algorithms is that they are based on augmenting a model generating procedure with a set of hypotheses to guide its search for acceptable models and/or to interpret negation ...

Institut F Ur Informatik Lehr-und Forschungseinheit F Ur Programmier-und Modellierungssprachen Oettingenstraae 67, D{80538 M Unchen Minimal Model Generation with Positive Unit Hyper-resolution Tableaux Minimal Model Generation with Positive Unit Hyper-resolution Tableaux

Herbrand models for clausal theories are useful in several areas of computer science. In most cases, however, the conventional model generation algorithms are inappropriate because they generate non-minimal Herbrand models and can be ineecient. This article describes a novel approach for generating minimal Herbrand models of clausal theories. The approach builds upon positive unit hyper-resolut...

Radiation Coupling with the FUN3D Unstructured-Grid CFD Code

The HARA radiation code is fully-coupled to the FUN3D unstructured-grid CFD code for the purpose of simulating high-energy hypersonic ows. The radiation energy source terms and surface heat transfer, under the tangent slab approximation, are included within the uid dynamic ow solver. The Fire II ight test, at the Mach-31 1643-second trajectory point, is used as a demonstration case. Comparisons...

Institut F Ur Informatik Lehr-und Forschungseinheit F Ur Programmier-und Modellierungssprachen Oettingenstraae 67, D{80538 M Unchen a Connuence Test for Concurrent Constraint Programs a Connuence Test for Concurrent Constraint Programs

We address the problem of identifying connuent parts of concurrent constraint programs. The connuence property guarantees that a concurrent program will always compute the same result independent of the execution strategy. In this paper, we introduce a simple test for connuence based on work in rewrite systems. Furthermore, we show how to use this test to certify the combination of concurrent c...